perm filename TEXPRE.DIF[ARK,TEX] blob
sn#769053 filedate 1984-09-04 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00008 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00003 00002 1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 1,1
C00007 00003 1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 4,4
C00010 00004 1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
C00015 00005 1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
C00019 00006 1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
C00023 00007 1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
C00028 00008 1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
C00031 ENDMK
C⊗;
1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 1,1
**** File 1) TEXPRE.SAI[ARK,TEX]/1P/8L
1) C00064 00006 Initializing the exception table
1) C00073 00007 Initializing the suffix table
1) C00080 00008 Initializing the prefix table
1) C00086 00009 Initializing the consonant-pair table
1) C00088 00010 Initializing the delimiter table
1) C00090 00011 Initializing the font memory
1) C00093 00012 The driver program
1) C00097 ENDMK
1) C⊗;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/1P/8L
2) C00063 00006 Initializing the exception table
2) C00072 00007 Initializing the suffix table
2) C00079 00008 Initializing the prefix table
2) C00085 00009 Initializing the consonant-pair table
2) C00087 00010 Initializing the delimiter table
2) C00089 00011 Initializing the font memory
2) C00092 00012 The driver program
2) C00096 ENDMK
2) C⊗;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/4P/9L
1) bin('406),bin('410),'461,'300,
1) comment lambda,gamma,delta,ifc not MIT thenc integral elsec up endc,
**** File 2) U:TEXPRE.SAI[TEX,DEK]/4P/9L
2) bin('406),bin('410),'461,'245,
2) comment lambda,gamma,delta,ifc not MIT thenc integral elsec up endc,
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/4P/22L
1) '463,cls('41),'541,'43,'44,'45,'46,cls('47),
1) comment space,exc,dblquotes,sharp,dollar,percent,ampersand,apost;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/4P/22L
2) '463,cls('41),'541,'561,'577,'45,'46,cls('47),
2) comment space,exc,dblquotes,sharp,dollar,percent,ampersand,apost;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/4P/28L
1) '70,'71,'72,punct('73),rel('274),rel('75),rel('276),cls('77),
1) comment 8,9,colon,semicolon,less,equal,greater,query;
1) '100,'301,'302,'303,'304,'305,'306,'307,
1) comment at,A,B,C,D,E,F,G;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/4P/28L
2) '70,'71,'72,punct('73),rel('74),rel('75),rel('76),cls('77),
1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 4,4
2) comment 8,9,colon,semicolon,less,equal,greater,query;
2) '574,'301,'302,'303,'304,'305,'306,'307,
2) comment at,A,B,C,D,E,F,G;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/4P/36L
1) '330,'331,'332,opn('133),bin('556),cls('135),
1) ifc not MIT thenc rel('442) elsec rel('442) endc,
**** File 2) U:TEXPRE.SAI[TEX,DEK]/4P/36L
2) '330,'331,'332,opn('133),bin('404),cls('135),
2) ifc not MIT thenc rel('442) elsec rel('442) endc,
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/4P/51L
1) ifc not MIT thenc bin('136) elsec op('563) endc;
1) comment x,y,z,left_brace,absolute,
**** File 2) U:TEXPRE.SAI[TEX,DEK]/4P/51L
2) ifc not MIT thenc bin('017) elsec op('563) endc;
2) comment x,y,z,left_brace,absolute,
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/47L
1) identer("$",mathonly,'44) # dollar sign;
1) comment identer("sterling",mathonly,'576) # British pound sign;
1) comment identer("copyright",mathonly,'575) # c in circle;
1) identer("@",mathonly,'100) # at sign;
1) identer("P",mathonly,'573) # paragraph symbol;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/47L
2) identer("$",mathonly,'577) # dollar sign;
2) identer("sterling",mathonly,'576) # British pound sign;
2) identer("copyright",mathonly,'575) # c in circle;
2) identer("@",mathonly,'574) # at sign;
2) identer("P",mathonly,'573) # paragraph symbol;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/55L
1) identer("diam",mathonly,bin('405)) # small diamond operator;
1) identer("sqsub",mathonly,rel('566)) # square inclusion sign in Scott semantics;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/55L
2) identer("diam",mathonly,bin('567)) # small diamond operator;
2) identer("sqsub",mathonly,rel('566)) # square inclusion sign in Scott semantics;
***************
1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/61L
1) identer("#",mathonly,'43) # sharp sign (hash mark or American pound);
1) identer("surd",mathonly,'560) # radical (square root) sign;
1) comment identer("dright",mathonly,cls('555)) # double right bracket;
1) comment identer("dleft",mathonly,opn('554)) # double left bracket;
1) identer("relvv",mathonly,rel('553)) # || treated as relation (disjointness);
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/61L
2) identer("#",mathonly,'561) # sharp sign (hash mark or American pound);
2) identer("surd",mathonly,'560) # radical (square root) sign;
2) identer("dright",mathonly,cls('555)) # double right bracket;
2) identer("dleft",mathonly,opn('554)) # double left bracket;
2) identer("relvv",mathonly,rel('553)) # || treated as relation (disjointness);
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/85L
1) comment identer("Zscr",mathonly,'532) # u.c. script Z;
1) comment identer("Yscr",mathonly,'531) # u.c. script Y;
1) comment identer("Xscr",mathonly,'530) # u.c. script X;
1) comment identer("Wscr",mathonly,'527) # u.c. script W;
1) comment identer("Vscr",mathonly,'526) # u.c. script V;
1) comment identer("Uscr",mathonly,'525) # u.c. script U;
1) comment identer("Tscr",mathonly,'524) # u.c. script T;
1) comment identer("Sscr",mathonly,'523) # u.c. script S;
1) comment identer("Rscr",mathonly,'522) # u.c. script R;
1) comment identer("Qscr",mathonly,'521) # u.c. script Q;
1) comment identer("Pscr",mathonly,'520) # u.c. script P;
1) comment identer("Oscr",mathonly,'517) # u.c. script O;
1) comment identer("Nscr",mathonly,'516) # u.c. script N;
1) comment identer("Mscr",mathonly,'515) # u.c. script M;
1) comment identer("Lscr",mathonly,'514) # u.c. script L;
1) comment identer("Kscr",mathonly,'513) # u.c. script K;
1) comment identer("Jscr",mathonly,'512) # u.c. script J;
1) comment identer("Iscr",mathonly,'511) # u.c. script I;
1) comment identer("Hscr",mathonly,'510) # u.c. script H;
1) comment identer("Gscr",mathonly,'507) # u.c. script G;
1) comment identer("Fscr",mathonly,'506) # u.c. script F;
1) comment identer("Escr",mathonly,'505) # u.c. script E;
1) comment identer("Dscr",mathonly,'504) # u.c. script D;
1) comment identer("Cscr",mathonly,'503) # u.c. script C;
1) comment identer("Bscr",mathonly,'502) # u.c. script B;
1) comment identer("Ascr",mathonly,'501) # u.c. script A;
1) identer("not",mathonly,rel('466)) # zero-width character negates a relation symbol;
1) identer("top",mathonly,'476) # Scott top (upside down perpendicular);
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/85L
2) identer("Zscr",mathonly,'532) # u.c. script Z;
2) identer("Yscr",mathonly,'531) # u.c. script Y;
2) identer("Xscr",mathonly,'530) # u.c. script X;
1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
2) identer("Wscr",mathonly,'527) # u.c. script W;
2) identer("Vscr",mathonly,'526) # u.c. script V;
2) identer("Uscr",mathonly,'525) # u.c. script U;
2) identer("Tscr",mathonly,'524) # u.c. script T;
2) identer("Sscr",mathonly,'523) # u.c. script S;
2) identer("Rscr",mathonly,'522) # u.c. script R;
2) identer("Qscr",mathonly,'521) # u.c. script Q;
2) identer("Pscr",mathonly,'520) # u.c. script P;
2) identer("Oscr",mathonly,'517) # u.c. script O;
2) identer("Nscr",mathonly,'516) # u.c. script N;
2) identer("Mscr",mathonly,'515) # u.c. script M;
2) identer("Lscr",mathonly,'514) # u.c. script L;
2) identer("Kscr",mathonly,'513) # u.c. script K;
2) identer("Jscr",mathonly,'512) # u.c. script J;
2) identer("Iscr",mathonly,'511) # u.c. script I;
2) identer("Hscr",mathonly,'510) # u.c. script H;
2) identer("Gscr",mathonly,'507) # u.c. script G;
2) identer("Fscr",mathonly,'506) # u.c. script F;
2) identer("Escr",mathonly,'505) # u.c. script E;
2) identer("Dscr",mathonly,'504) # u.c. script D;
2) identer("Cscr",mathonly,'503) # u.c. script C;
2) identer("Bscr",mathonly,'502) # u.c. script B;
2) identer("Ascr",mathonly,'501) # u.c. script A;
2) identer("not",mathonly,rel('500)) # zero-width character negates a relation symbol;
2) identer("top",mathonly,'476) # Scott top (upside down perpendicular);
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/115L
1) identer("aleph",mathonly,'500) # u.c. aleph;
1) comment identer("angle",mathonly,'466) # /_;
1) identer("emptyset",mathonly,'474) # /0;
1) identer("notin",mathonly,rel('463)) # /ε;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/115L
2) identer("aleph",mathonly,'473) # u.c. aleph;
2) identer("angle",mathonly,'466) # /_;
2) identer("emptyset",mathonly,'464) # /0;
2) identer("notin",mathonly,rel('463)) # /ε;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/122L
1) comment identer("mapsto",mathonly,rel('457)) # |→;
1) comment identer("rsh",mathonly,bin('456)) # right shift symbol;
1) comment identer("lsh",mathonly,bin('455)) # left shift symbol;
1) identer("↔",mathonly,rel('454)) # <=>;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/122L
2) identer("mapsto",mathonly,rel('457)) # |→;
1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
2) identer("rsh",mathonly,bin('456)) # right shift symbol;
2) identer("lsh",mathonly,bin('455)) # left shift symbol;
2) identer("↔",mathonly,rel('454)) # <=>;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/137L
1) comment identer("doteq",mathonly,rel('435)) # dot over equals;
1) identer("approx",mathonly,rel('431)) # approximate equality;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/137L
2) identer("doteq",mathonly,rel('435)) # dot over equals;
2) identer("approx",mathonly,rel('431)) # approximate equality;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/143L
1) identer("bot",mathonly,'477) # Scott bottom (_|_);
1) identer("perp",mathonly,rel('477)) # perpendicular (_|_);
1) identer("bullet",mathonly,bin('417)) # filled-in circle operator;
1) comment identer("interc",mathonly,bin('416)) # intercalation product;
1) identer("div",mathonly,bin('404)) # elementary division (-:-);
1) identer("odot",mathonly,bin('414)) # circle dot;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/143L
2) identer("bot",mathonly,'420) # Scott bottom (_|_);
2) identer("perp",mathonly,rel('420)) # perpendicular (_|_);
2) identer("bullet",mathonly,bin('417)) # filled-in circle operator;
2) identer("interc",mathonly,bin('416)) # intercalation product;
2) identer("div",mathonly,bin('415)) # elementary division (-:-);
2) identer("odot",mathonly,bin('414)) # circle dot;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/155L
1) identer("circ",mathonly,bin('416)) # small circle operator;
1) identer("rslash",mathonly,bin('556)) # reverse slash (\);
1) identer("ast",mathonly,bin('403)) # asterisk resting on baseline;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/155L
2) identer("circ",mathonly,bin('405)) # small circle operator;
2) identer("rslash",mathonly,bin('404)) # reverse slash (\);
2) identer("ast",mathonly,bin('403)) # asterisk resting on baseline;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/160L
1) identer("varomega",mathonly,'244) # variant l.c. omega (closed with bar at top);
1) identer("vartheta",mathonly,'243) # variant l.c. theta (not closed at left);
1) identer("varphi",mathonly,'247) # variant l.c. phi (not pointed at top);
1) identer("omega",mathonly,'241) # l.c. omega;
1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
1) identer("psi",mathonly,'240) # l.c. psi;
1) identer("jit",mathonly,'374) # dotless italic j;
1) identer("partial",mathonly,'300) # partial derivative sign;
1) identer("wp",mathonly,'375) # Weierstrass p;
1) comment identer("lscr",mathonly,'243) # l.c. script ell;
1) identer("iit",mathonly,'373) # dotless italic i;
1) identer("chi",mathonly,'237) # l.c. chi;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/160L
2) identer("varpi",mathonly,'377) # variant l.c. pi (script style, one stroke);
2) identer("vartheta",mathonly,'376) # variant l.c. theta (not closed at left);
2) identer("varphi",mathonly,'375) # variant l.c. phi (not pointed at top);
2) identer("omega",mathonly,'374) # l.c. omega;
2) identer("psi",mathonly,'373) # l.c. psi;
2) identer("jit",mathonly,'300) # dotless italic j;
2) identer("partial",mathonly,'245) # partial derivative sign;
2) identer("wp",mathonly,'244) # Weierstrass p;
2) identer("lscr",mathonly,'243) # l.c. script ell;
2) identer("iit",mathonly,'240) # dotless italic i;
2) identer("chi",mathonly,'237) # l.c. chi;
***************
**** File 1) TEXPRE.SAI[ARK,TEX]/5P/203L
1) identer("O",nonmathletter,'37) # O with slash (Scandinavian);
1) identer("o",nonmathletter,'34) # o with slash (Scandinavian);
1) identer("OE",nonmathletter,'36) # French ligature OE;
1) identer("AE",nonmathletter,'35) # Latin or Scandinavian ligature AE;
1) identer("oe",nonmathletter,'33) # French ligature oe;
1) identer("ae",nonmathletter,'32) # Latin or Scandinavian ligature ae;
1) identer("ss",nonmathletter,'31) # German ligature ss;
1) comment identer("t",accent,'32) # tie for Russian ligatures;
1) identer("l",accent,'40) # cross for lower case l (Polish);
1) identer("c",accent,'30) # cedilla (French, Polish, Navajo, etc.);
1) identer("a",accent,'27) # small circle accent (Scandinavian);
1) identer("H",accent,'175) # long Hungarian umlaut;
1) identer("b",accent,'26) # vector accent;
1) identer("s",accent,'176) # tilde;
1) identer("""",accent,'177) # umlaut or dieresis;
1) identer("=",accent,'26) # macron (bar) accent;
1) identer("u",accent,'25) # breve;
1) identer("v",accent,'24) # inverted circumflex accent (Slavic);
1) identer("A",accent,'136) # circumflex (hat) accent;
1) identer("'",accent,'22) # acute accent;
1) identer("`",accent,'23) # grave accent;
1) identer("j",nonmathletter,'21) # dotless j;
1) identer("i",nonmathletter,'20) # dotless i;
1) identer("Omega",mathonly,'12) # u.c. omega;
**** File 2) U:TEXPRE.SAI[TEX,DEK]/5P/203L
1) TEXPRE.SAI[ARK,TEX] and 2) U:TEXPRE.SAI[TEX,DEK] 9-04-84 04:46 pages 5,5
2) identer("O",nonmathletter,'100) # O with slash (Scandinavian);
2) identer("o",nonmathletter,'40) # o with slash (Scandinavian);
2) identer("OE",nonmathletter,'37) # French ligature OE;
2) identer("AE",nonmathletter,'36) # Latin or Scandinavian ligature AE;
2) identer("oe",nonmathletter,'35) # French ligature oe;
2) identer("ae",nonmathletter,'34) # Latin or Scandinavian ligature ae;
2) identer("ss",nonmathletter,'33) # German ligature ss;
2) identer("t",accent,'32) # tie for Russian ligatures;
2) identer("l",accent,'31) # cross for lower case l (Polish);
2) identer("c",accent,'30) # cedilla (French, Polish, Navajo, etc.);
2) identer("a",accent,'27) # small circle accent (Scandinavian);
2) identer("H",accent,'26) # long Hungarian umlaut;
2) identer("b",accent,'25) # vector accent;
2) identer("s",accent,'24) # tilde;
2) identer("""",accent,'23) # umlaut or dieresis;
2) identer("=",accent,'22) # macron (bar) accent;
2) identer("u",accent,'21) # breve;
2) identer("v",accent,'20) # inverted circumflex accent (Slavic);
2) identer("A",accent,'17) # circumflex (hat) accent;
2) identer("'",accent,'16) # acute accent;
2) identer("`",accent,'15) # grave accent;
2) identer("j",nonmathletter,'14) # dotless j;
2) identer("i",nonmathletter,'13) # dotless i;
2) identer("Omega",mathonly,'12) # u.c. omega;
***************